
struct sum
{
  template<class x>
  struct app
  {
    template<class y>
    struct app: pAdd::app<x>::app<y>
    {
      typedef typename pAdd::app<x>::
                       app<y>::value value;
    };
  };
};

